Theorem proving
[计] 定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
while you're at work.
在你工作的时候。
Joseph likes to listen to music.
约瑟夫喜欢听音乐。
But, contrary to a popular assumption, it is far from being the only one, or even the greatest.
但是，和一般的看法相反，这决非是仅有的，甚至不是最主要的动机。